resolution refutation

[网络] 归结反驳;归结反演